<?hh <<__EntryPoint>> function main(): void {
$a = str_repeat("/", 9791999);
var_dump(iconv_strlen('1', $a));
}
